[IA64] Use vcpu_get_psr instead of vcpu_get_ipsr_int_state.
authorAlex Williamson <alex.williamson@hp.com>
Mon, 4 Jun 2007 20:16:21 +0000 (14:16 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Mon, 4 Jun 2007 20:16:21 +0000 (14:16 -0600)
commit5f3c263950396cfec3b777706fba324ecc02a566
tree750912c6ea71f7820ede0f6a2b688c6f727e127a
parentbf7e520cc366cdd19485620f6ddf787dd19709d3
[IA64] Use vcpu_get_psr instead of vcpu_get_ipsr_int_state.

Signed-off-by: Tristan Gingold <tgingold@free.fr>
xen/arch/ia64/xen/faults.c
xen/arch/ia64/xen/vcpu.c
xen/include/asm-ia64/vcpu.h